11![Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 1, 29–37 Run up flow of a couple stress fluid between parallel plates M. Devakar1 , T.K.V. Iyengar2 1 Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 1, 29–37 Run up flow of a couple stress fluid between parallel plates M. Devakar1 , T.K.V. Iyengar2 1](https://www.pdfsearch.io/img/2666b8f541750ad72834482b9f1eb0a1.jpg) | Add to Reading ListSource URL: www.lana.ltLanguage: English - Date: 2010-03-04 15:12:18
|
---|
12![1 Toward Parallel CFA with Datalog, MPI, and CUDA THOMAS GILRAY, University of Maryland SIDHARTH KUMAR, University of Utah We present our recent experience working to design parallel functional control-flow analysis (CF 1 Toward Parallel CFA with Datalog, MPI, and CUDA THOMAS GILRAY, University of Maryland SIDHARTH KUMAR, University of Utah We present our recent experience working to design parallel functional control-flow analysis (CF](https://www.pdfsearch.io/img/0bf1157c21da1ade4bb19d63a13a0048.jpg) | Add to Reading ListSource URL: scheme2017.namin.orgLanguage: English - Date: 2018-04-03 07:53:01
|
---|
13![PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science CONTROL FLOW GRAPHS! PROGRAM ANALYSIS PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science CONTROL FLOW GRAPHS! PROGRAM ANALYSIS](https://www.pdfsearch.io/img/9f556c798f5c004bca11fbffc44e6ab5.jpg) | Add to Reading ListSource URL: homepages.dcc.ufmg.brLanguage: English - Date: 2017-03-15 12:51:16
|
---|
14![Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might](https://www.pdfsearch.io/img/edc28157ee50611c709256e7153bb7af.jpg) | Add to Reading ListSource URL: www.ccs.neu.edu- Date: 2010-07-23 23:51:12
|
---|
15![Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents Paulo Barros† René Just∗ Suzanne Millstein∗ Paul Vines∗ Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents Paulo Barros† René Just∗ Suzanne Millstein∗ Paul Vines∗](https://www.pdfsearch.io/img/e8dce5a59fff28b5cf985d25c201c4f3.jpg) | Add to Reading ListSource URL: homes.cs.washington.edu- Date: 2015-08-20 20:12:50
|
---|
16![Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Abstract Such scenarios preclude direct use of source-based Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Abstract Such scenarios preclude direct use of source-based](https://www.pdfsearch.io/img/b2ba567e625bfe3cd527abbcdd9587cf.jpg) | Add to Reading ListSource URL: users.ece.cmu.edu- Date: 2014-05-29 15:38:01
|
---|
17![Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents](https://www.pdfsearch.io/img/9c493a3067177339a3c28be88fcfb87e.jpg) | Add to Reading ListSource URL: homes.cs.washington.edu- Date: 2016-01-05 17:22:02
|
---|
18![Control-Flow Analysis Last time – Undergraduate compilers in a day Today – Control-flow analysis – Building basic blocks Control-Flow Analysis Last time – Undergraduate compilers in a day Today – Control-flow analysis – Building basic blocks](https://www.pdfsearch.io/img/24971d62c205f5397800a9b95ba134ab.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2006-09-14 09:54:15
|
---|
19![Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington](https://www.pdfsearch.io/img/a51f9a02f056f1865d482ba28663eb18.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2015-09-05 00:16:54
|
---|
20![Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González](https://www.pdfsearch.io/img/f36ee6e5baf36ea90521ec0bda2c12ba.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2015-02-16 13:00:00
|
---|